This is TeX, WAITS Version 1.1 (preloaded format=cplain 84.9.15)  16 OCT 1984 11:45
**provin
(PROVIN.TEX[B2,JMC] (CLTEX.FIX[TEX,CLT]) (BMAC.TEX[B2,JMC]
\sxfam=\fam11
\funCounter=\count37
) (BMAC.FIX[B2,JMC]
\sxfam=\fam12
)
\unit=\dimen22

(PROVA.[B2,JMC] Chapter 1. [1] [2] [3] [4]
Overfull \hbox (12.89552pt too wide) in paragraph at lines 99--101, p.3
[]\tenrm 2. If $↑↑I$ is an n-ary func-tion ex-pres-sion and $\teni t[]; t[] [] t
[]$ \tenrm are terms then $↑↑I[\teni t[]; t[]; [] t[]\tenrm ]$

\hbox(7.5+2.5)x361.34999, glue set - 1.0
.\hbox(0.0+0.0)x20.0
.\tenrm 2
.\tenrm .
.etc.

[5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20]
[21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33])
(PROVB.[B2,JMC] [34] [35] [36] [37] [38] [39]
Overfull \hbox (14.42632pt too wide) in paragraph at lines 235--238, p.2
\tenrm ing $[]$. No-tice that the pre-vi-ous ex-er-cises im-ply that we ac-tu-al
ly have $\tensy 8\teni X  [] \tenrm [\teni X\tenrm ] =

\hbox(7.5+2.5)x361.34999, glue set - 1.0
.\tenrm i
.\tenrm n
.\tenrm g
.etc.

[40] [41] [42] [43] [44]
Overfull \hbox (12.11229pt too wide) in paragraph at lines 13--16, p.6
\tenbf Base case: \tenrm Sup-pose that $\teni x$ \tenrm is an atom and $\teni y$
\tenrm ,$\teni ↑↑K \tensy 2 A \tenit l[]$ \tenrm are such that $[] [\teni x;  y;
  ↑↑K\tenrm ] \tensy 6\tenrm =

\hbox(7.5+2.5)x361.34999, glue set - 1.0
.\tenbf B
.\tenbf a
.\tenbf s
.etc.

[45] [46] [47] [48] [49] [50]
Overfull \hbox (17.74931pt too wide) in paragraph at lines 49--49, p.10
[]|\ninett (defun subsub (a b) (if (null a) a (cons (cons (caar a) (sublis (cdar
 a) b)) 

\hbox(8.0+3.0)x361.34999
.\hbox(0.0+0.0)x20.0
.\rule(8.0+3.0)x0.0
.\ninett (
.etc.

[51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61]
Overfull \hbox (27.1993pt too wide) in paragraph at lines 14--14, p.17
[]|        \ninett ((isvar x) (if (v-occur x y a) 'no (compose a (cons (cons x y
) nil)))) 

\hbox(8.0+3.0)x361.34999
.\hbox(0.0+0.0)x20.0
.\rule(8.0+3.0)x0.0
.\glue 4.72499
.etc.


Overfull \hbox (27.1993pt too wide) in paragraph at lines 15--15, p.17
[]|        \ninett ((isvar y) (if (v-occur y x a) 'no (compose a (cons (cons y x
) nil)))) 

\hbox(8.0+3.0)x361.34999
.\hbox(0.0+0.0)x20.0
.\rule(8.0+3.0)x0.0
.\glue 4.72499
.etc.

[62]) [63] 
Here is how much of TeX's memory you used:
 100 strings out of 1379
 639 string characters out of 10655
 4416&12870 words of memory out of 20000&36001
 1256 multiletter control sequences out of 2500
 16740 words of font info for 64 fonts, out of 25000 for 100
 14 hyphenation exceptions out of 307
 13i,8n,8p,136b,118s stack positions out of 200i,40n,60p,500b,600s

Output written on PROVIN.DVI[B2,JMC] (63 pages, 179664 bytes).